Proof: The Lego Boost Rubik's Cube Solver Works For Real!